例句與造句

1. Execution of a CHR program starts with an initial constraint store.
2. The constraint store contains the constraints that are currently assumed satisfiable.
3. The constraint store extends the concept of current substitution in two ways.
4. This operation may not detect inconsistency even if the constraint store is unsatisfiable.
5. The constraint store of this second pair is considered the result of the evaluation.
6. It's difficult to find constraint store in a sentence. 用constraint store造句挺難的
7. In this case, both G and D are added to the constraint store.
8. The constraint store is not part of this program, but must be supplied separately.
9. This is because the constraint store contains all constraints assumed satisfiable to prove the goal.
10. When the interpreter uses a clause, its guard is added to the constraint store.
11. The order in which rules " fire " on a given constraint store is non-deterministic.
12. The third possible kind of transition is a replacement of the constraint store with an equivalent one.
13. The specific methods used in practice replace the constraint store with one that is simpler to solve.
14. These operations are aimed at making the constraint store simpler to be checked for satisfiability and solved.
15. The evaluation of the second clause adds X = 1 and Y > 0 to the constraint store.
16. If the constraint store is unsatisfiable, this simplification may detect this unsatisfiability sometimes, but not always.
更多例句：  下一頁